A Statecharts Approach to the Modelling of Discrete Manufacturing Systems
نویسنده
چکیده
The paper shows a novel approach to the modelling of the production cells of discrete manufacturing by asynchronous version of a statecharts formalism. For the proposed model, the functional speciication of the model based on the speciication language of temporal logic is presented. The speciied behaviours are translated into the syntax of statecharts as guarded constraints on the transitions ring. The proposed approach is demonstrated on an illustrative example of the working cell.
منابع مشابه
Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملRetrieval–travel-time model for free-fall-flow-rack automated storage and retrieval system
Automated storage and retrieval systems (AS/RSs) are material handling systems that are frequently used in manufacturing and distribution centers. The modelling of the retrieval–travel time of an AS/RS (expected product delivery time) is practically important, because it allows us to evaluate and improve the system throughput. The free-fall-flow-rack AS/RS has emerged as a new technology for dr...
متن کاملDetermination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کاملApplication of Discrete 3-level Nested Logit Model in Travel Demand Forecasting as an Alternative to Traditional 4-Step Model
This paper aims to introduce a new modelling approach that represents departure time, destination and travel mode choice under a unified framework. Through it, it is possible to overcome shortages of the traditional 4-step model associated with the lack of introducing actual travellers’ behaviours. This objective can be achieved through adopting discrete 3-level Nested Logit model that represen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007